84 research outputs found
Size-Change Abstraction and Max-Plus Automata
Max-plus automata (over ℕ ∪ − ∞) are finite devices that map input words to non-negative integers or − ∞. In this paper we present (a) an algorithm allowing to compute the asymptotic behaviour of max-plus automata, and (b) an application of this technique to the evaluation of the computational time complexity of programs
Weighted Automata and Logics for Infinite Nested Words
Nested words introduced by Alur and Madhusudan are used to capture structures
with both linear and hierarchical order, e.g. XML documents, without losing
valuable closure properties. Furthermore, Alur and Madhusudan introduced
automata and equivalent logics for both finite and infinite nested words, thus
extending B\"uchi's theorem to nested words. Recently, average and discounted
computations of weights in quantitative systems found much interest. Here, we
will introduce and investigate weighted automata models and weighted MSO logics
for infinite nested words. As weight structures we consider valuation monoids
which incorporate average and discounted computations of weights as well as the
classical semirings. We show that under suitable assumptions, two resp. three
fragments of our weighted logics can be transformed into each other. Moreover,
we show that the logic fragments have the same expressive power as weighted
nested word automata.Comment: LATA 2014, 12 page
From algebra to logic: there and back again -- the story of a hierarchy
This is an extended survey of the results concerning a hierarchy of languages
that is tightly connected with the quantifier alternation hierarchy within the
two-variable fragment of first order logic of the linear order.Comment: Developments in Language Theory 2014, Ekaterinburg : Russian
Federation (2014
Mean-payoff Automaton Expressions
Quantitative languages are an extension of boolean languages that assign to
each word a real number. Mean-payoff automata are finite automata with
numerical weights on transitions that assign to each infinite path the long-run
average of the transition weights. When the mode of branching of the automaton
is deterministic, nondeterministic, or alternating, the corresponding class of
quantitative languages is not robust as it is not closed under the pointwise
operations of max, min, sum, and numerical complement. Nondeterministic and
alternating mean-payoff automata are not decidable either, as the quantitative
generalization of the problems of universality and language inclusion is
undecidable.
We introduce a new class of quantitative languages, defined by mean-payoff
automaton expressions, which is robust and decidable: it is closed under the
four pointwise operations, and we show that all decision problems are decidable
for this class. Mean-payoff automaton expressions subsume deterministic
mean-payoff automata, and we show that they have expressive power incomparable
to nondeterministic and alternating mean-payoff automata. We also present for
the first time an algorithm to compute distance between two quantitative
languages, and in our case the quantitative languages are given as mean-payoff
automaton expressions
Going higher in the First-order Quantifier Alternation Hierarchy on Words
We investigate the quantifier alternation hierarchy in first-order logic on
finite words. Levels in this hierarchy are defined by counting the number of
quantifier alternations in formulas. We prove that one can decide membership of
a regular language to the levels (boolean combination of
formulas having only 1 alternation) and (formulas having only 2
alternations beginning with an existential block). Our proof works by
considering a deeper problem, called separation, which, once solved for lower
levels, allows us to solve membership for higher levels
On the uniqueness of promotion operators on tensor products of type A crystals
The affine Dynkin diagram of type has a cyclic symmetry. The
analogue of this Dynkin diagram automorphism on the level of crystals is called
a promotion operator. In this paper we show that the only irreducible type
crystals which admit a promotion operator are the highest weight crystals
indexed by rectangles. In addition we prove that on the tensor product of two
type crystals labeled by rectangles, there is a single connected
promotion operator. We conjecture this to be true for an arbitrary number of
tensor factors. Our results are in agreement with Kashiwara's conjecture that
all `good' affine crystals are tensor products of Kirillov-Reshetikhin
crystals.Comment: 31 pages; 8 figure
Combinatorial Markov chains on linear extensions
We consider generalizations of Schuetzenberger's promotion operator on the
set L of linear extensions of a finite poset of size n. This gives rise to a
strongly connected graph on L. By assigning weights to the edges of the graph
in two different ways, we study two Markov chains, both of which are
irreducible. The stationary state of one gives rise to the uniform
distribution, whereas the weights of the stationary state of the other has a
nice product formula. This generalizes results by Hendricks on the Tsetlin
library, which corresponds to the case when the poset is the anti-chain and
hence L=S_n is the full symmetric group. We also provide explicit eigenvalues
of the transition matrix in general when the poset is a rooted forest. This is
shown by proving that the associated monoid is R-trivial and then using
Steinberg's extension of Brown's theory for Markov chains on left regular bands
to R-trivial monoids.Comment: 35 pages, more examples of promotion, rephrased the main theorems in
terms of discrete time Markov chain
Algebraic Systems and Pushdown Automata
The theory of algebraic power series in noncommuting variables, as we un-derstand it today, was initiated in [2] and developed in its early stages by the French school. The main motivation was the interconnection with context-free grammars: the defining equations were made to correspond to context-fre
- …